Order Sorted Quotient Algebra 1 Josef Urban
نویسنده
چکیده
Let R be a non empty poset and let A, B be many sorted sets indexed by R. One can check that every many sorted relation between A and B which is os-compatible is also order-sorted. Let R be a non empty poset and let A be a many sorted set indexed by the carrier of R. An order sorted relation of A is an order sorted relation of A, A. Let S be an order sorted signature and let U1 be an order sorted algebra of S. A many sorted relation indexed by U1 is said to be an order sorted relation of U1 if: (Def. 3)1 It is os-compatible.
منابع مشابه
Free Order Sorted Universal Algebra 1 Josef Urban
(1) Let S be an order sorted signature, U0 be a strict non-empty order sorted algebra of S, and A be a subset of U0. Then A is an order sorted generator set of U0 if and only if for every OSSubset O of U0 such that O = OSClA holds OSGenO = U0. Let us consider S, let U0 be a monotone order sorted algebra of S, and let I1 be an order sorted generator set of U0. We say that I1 is osfree if and onl...
متن کاملOrder Sorted Quotient Algebra
Let R be a non empty poset. One can verify that there exists an order sorted set of R which is binary relation yielding. Let R be a non empty poset, let A, B be many sorted sets indexed by the carrier of R, and let I1 be a many sorted relation between A and B. We say that I1 is os-compatible if and only if the condition (Def. 1) is satisfied. (Def. 1) Let s1, s2 be elements of the carrier of R....
متن کاملSubalgebras of an Order Sorted Algebra. Lattice of Subalgebras1
Let S be an order sorted signature and let U0 be an order sorted algebra of S. A many sorted subset indexed by the sorts of U0 is said to be an OSSubset of U0 if: (Def. 2) It is an order sorted set of S. Let S be an order sorted signature. One can verify that there exists an order sorted algebra of S which is monotone, strict, and non-empty. Let S be an order sorted signature and let U0 be a no...
متن کاملSubalgebras of an Order Sorted Algebra. Lattice of Subalgebras
In this paper x denotes a set and R denotes a non empty poset. Next we state two propositions: (1) For all order sorted sets X, Y of R holds X ∩Y is an order sorted set of R. (2) For all order sorted sets X, Y of R holds X ∪Y is an order sorted set of R. Let R be a non empty poset and let M be an order sorted set of R. A many sorted subset indexed by M is said to be an order sorted subset of M ...
متن کاملFree Order Sorted Universal Algebra
In this paper S is an order sorted signature. Let S be an order sorted signature and let U0 be an order sorted algebra of S. A subset of U0 is called an order sorted generator set of U0 if: (Def. 1) For every OSSubset O of U0 such that O = OSCl it holds the sorts of OSGenO = the sorts of U0. The following proposition is true (1) Let S be an order sorted signature, U0 be a strict non-empty order...
متن کامل